designing reliable software

[计] 设计可靠软件